Formal methods: the very idea
نویسندگان
چکیده
منابع مشابه
Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work
The paper de nes formal methods (FMs) and describes economic issues involved in their application. From these considerations and the concepts implicit in \No Silver Bullet", it becomes clear that FMs are best applied during requirements engineering. A explanation of why FMs work when they work is o ered and it is suggested that FMs help the most when the applier is most ignorant about the probl...
متن کاملSimulation as Formal and Generative Social Science: The Very Idea
From the very beginning of the multiagent-systems paradigm, the sources of analogies between agent-based technologies and models of actual social systems fomented interdisciplinary efforts between computer and social scientists. Nowadays this trend reflects an intense interface of research across the computer and social sciences, under the umbrella of a consolidated scientific field, which is c...
متن کاملCompositionality: the Very Idea
A. Compositionality is often considered a fundamental principle of semantics for natural language. Yet only fairly recently has there been something of a theory of compositionality which allows to prove actual results. Basically, the lack of progress has been due to an improper understanding of what syntactic and semantic structures actually are. Many linguistic theories in one way or an...
متن کاملOntobroker: The Very High Idea
Copyrights 1998, American Association for Artificial Intelligence (www.aaai.org). All rights reserved. Abstract The World Wide Web (WWW) is currently one of the most important electronic information sources. However, its query interfaces and the provided reasoning services are rather limited. Ontobroker consists of a number of languages and tools that enhance query access and inference servic...
متن کاملGetting Back to "The Very Idea"
48 AI MAGAZINE ■ For many years, the very idea of artificial intelligence has been provocative and exciting. However, with a continually increasing focus on specialized subareas and somewhat narrow technical problems (both of which are inevitable and in many ways healthy), we may be torpedoing our core research agenda: the creation of a true synthetic intelligence. I reflect briefly on the esse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2002
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(01)00026-0